Proof by construction